Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
981	JOURNAL OF COMPUTERS, VOL. 4, NO. 4, APRILModeling and Analysis for Obstacle Avoidance of a Behavior-Based Robot with Objected Add to Reading List Source URL: www.academypublisher.com Language: English - Date: 2009-07-02 05:16:51 Science Cognitive architecture Software architecture Robot Fuzzy control system Subsumption architecture Mobile robot Behavior-based robotics Cognitive robotics Robotics Artificial intelligence Fuzzy logic
982	Godelisation in the untyped lambda calculus Torben . Mogensen DIKU, University of Copenhagen, Denmark email: Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:40 Mathematics Normalisation by evaluation Combinatory logic Simply typed lambda calculus Beta normal form Variance Lambda Sedenion Binary lambda calculus Lambda calculus Theoretical computer science Applied mathematics
983	Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:32:16 Software engineering Functional languages Mathematical proof F-coalgebra ATS Computing Mathematics Mathematical logic Automated theorem proving
984	Lang101 Workbook – User’s Guide Lang101 Workbook contains 460 commented exercises and activities, dedicated to absolute beginners to the study of language, whether you’re doing introductory linguistics o Add to Reading List Source URL: www.lang101.com Language: English - Date: 2012-04-03 03:28:35 Question Linguistics Textbook Logic Academia Tok Pisin Workbook Science
985	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
986	Proceedings of the 6th Annual North American Conference on AI and Simulation in Games (GAMEON-NA), pp. 5-12, PROCEDURAL GENERATION OF SOKOBAN LEVELS Joshua Taylor and Ian Parberry Dept. of Computer Science & Engin Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-09-22 17:21:08 Application software Windows games Linux games Logic puzzles ZX Spectrum games Sokoban LIT Procedural generation PSPACE-complete Puzzle video games Digital media Games
987	Granularity Scale & Collectivity: When size does and doesn’t matter Alan Rector1 Jeremy Roger1 & Thomas Bittner2 Department of Computer Science, University of Manchester, Manchester M13 9PL, UK 2 IFOMIS Universityof Sa Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2006-03-27 09:53:16 Information science Knowledge representation Technical communication Ontology Mereology Predicate logic Granularity Collective Upper ontology Science Metaphysics Knowledge
988	Electronic Notes in Theoretical Computer Science 66 NoURL: http://www.elsevier.nl/locate/entcs/volume66.html 31 pages Information Flow Security in Boxed Ambients Silvia Crafa1 Michele Bugliesi 1 Dipartimento d Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:58:08 Process calculi Ambient calculus Models of computation Deduction Theoretical computer science Propositional calculus Entailment Process calculus Valuation Logic Abstract algebra Mathematics
989	Modern Exact and Approximate MAP Algorithms for Graphical models Rina Dechter Bren School of Computer and Information Sciences, UC Irvine We will describe the potential of two known bounding approximation schemes for Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 17:11:23 Algorithm Mathematical logic Linear programming Mathematics Applied mathematics Theoretical computer science
990	Rube Goldberg Project ENGG1015 1st Semester, 2010 Dr. Kenneth Wong Dr. Hayden So Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-10-17 23:35:51 Mechanisms Rube Goldberg machine Science Academic term Digital electronics Massachusetts Institute of Technology Logic Balloon Knowledge Academia Association of American Universities Association of Public and Land-Grant Universities

UPDATE